// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (c) 2020 Shenshu Technologies CO., LIMITED.
 *
 */

#include <config.h>

#ifdef CONFIG_GENERIC_MMC
#include "mci_boot.c"
#endif
